CatDat

Implication Details

Assumptions: self-dualℵ₂-small copowers

Conclusions: ℵ₂-small powers

Proof: This holds by self-duality.

Show 1 category using this implication